g(implements, x) = c
c
